Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
601	CAGI Rotary Screw Compressor Add to Reading List Source URL: www.cagi.org Language: English - Date: 2015-04-01 09:47:11 Software testing Atlas Copco Mechanical engineering Gas compressor Rotary screw compressor Acceptance testing Verification and validation Compressors Technology Business
602	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein fun Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Computability theory Programming idioms Theoretical computer science Computer law Copyleft Recursion Creative Commons Lambda calculus Quicksort Computer programming Computing Open content
603	Precise and Scalable Static Program Analysis of NASA Flight Software G. Brat and A. Venet Kestrel Technology NASA Ames Research Center, MS[removed]Moffett Field, CA[removed] Add to Reading List Source URL: www.kestreltechnology.com Language: English - Date: 2006-07-12 15:11:33 Program analysis Data types Software testing Abstract interpretation Static program analysis Patrick Cousot Software verification Type system Polyspace Software engineering Programming language theory Computing
604	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein λ Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Lambda calculus Computability theory Combinatory logic Natural deduction Function Creative Commons Mathematics Theoretical computer science Mathematical logic
605	Random Testing in PVS Sam Owre SRI International, Computer Science Laboratory 333 Ravenswood Avenue, Menlo Park, CA 94025, USA [removed] Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2006-08-26 05:21:12 Automated theorem proving Lisp programming language Mathematical logic Randomness Prototype Verification System IP Proof assistant Dependent type Common Lisp Computing Software engineering Logic
606	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein → Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Computer law Intellectual property law Science Creative Commons Free music Isabelle Attribution Natural deduction Lambda calculus Open content Copyleft Law
607	Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2 Patrice Chalin1 , Joseph R. Kiniry2 , Gary T. Leavens3 , and Erik Poll4 1 Concordia University, Montr´eal, Qu´ebec, Canada Add to Reading List Source URL: www.eecs.ucf.edu Language: English - Date: 2007-01-29 15:18:04 Logic in computer science Formal methods Programming paradigms Java Modeling Language Java platform Object-oriented programming Postcondition Class invariant Design by contract Software engineering Computing Theoretical computer science
608	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein >>= Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Science Program logic Computer law Copyleft Monad Isabelle Formal verification Predicate transformer semantics Creative Commons Theoretical computer science Formal methods Applied mathematics
609	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein C Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Program logic Law Computer law Copyleft Intellectual property law Isabelle Predicate transformer semantics L4 microkernel family Hoare logic Theoretical computer science Open content Formal methods
610	Towards the Industrial Scale Development of Custom Static Analyzers John Anton, Eric Bush, Allen Goldberg, Klaus Havelund, Doug Smith, Arnaud Venet Kestrel Technology LLC 4984 El Camino Real #230 Los Altos, CA 94022 Add to Reading List Source URL: www.kestreltechnology.com Language: English - Date: 2006-07-12 15:17:59 Computer programming Logic in computer science Program analysis Abstract interpretation Static program analysis Astrée Formal verification Runtime verification Programming language Software engineering Computing Formal methods

UPDATE